$\forall$$A$, $B$, $C$:Realizer. $A$ $\parallel$ $B$ $\oplus$ $C$ $\Leftrightarrow$ $A$ $\parallel$ $B$ \& $A$ $\parallel$ $C$